Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

Source URL: se.inf.ethz.ch

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Logic in computer science
• Object-oriented programming
• Postcondition
• Random testing
• Eiffel
• General-purpose computing on graphics processing units
• Test data generation

1 3D Motion Planning Algorithms for Steerable Needles Using Inverse Kinematics Vincent Duindam1

Source URL: goldberg.berkeley.edu

• Robot kinematics
• Robotics
• Mathematics
• Theoretical computer science
• Search algorithms
• Automated planning and scheduling
• Inverse kinematics
• Motion planning
• Dubins path
• Shortest path problem
• Kinematics
• Algorithm

International Journal of Pure and Applied Mathematics Volume 97 No, ISSN: printed version); ISSN: on-line version) url: http://www.ijpam.eu doi: http://dx.doi.orgijpam.v97i

Source URL: ijpam.eu

• Physics
• Theoretical computer science
• Information theory
• Quantum information science
• Thermodynamic entropy
• Quantum mechanics
• Quantum information theory
• Von Neumann entropy
• Entropy
• Tsallis entropy
• Quantum entanglement
• Density matrix

R Foundations and Trends in Theoretical Computer Science Vol. 9, No–210 c 2014 S. Sachdeva and N. K. Vishnoi

Source URL: theory.epfl.ch

Inferring Programmer Intent and Related Errors from Software By MARK GREGORY GABEL B.S. (California Polytechnic State University, San Luis ObispoM.S. (California Polytechnic State University, San Luis Obispo) 2006

Source URL: web.cs.ucdavis.edu

• Theoretical computer science
• Technology
• Computing
• Product development
• Formal methods
• Logic in computer science
• Science and technology
• Formal verification
• Software development
• Software testing
• Oracle
• Software bug

Know Your Limits: Embedding Localiser Performance Models in Teach and Repeat Maps Winston Churchill, Chi Hay Tong, Corina Gur˘au, Ingmar Posner and Paul Newman I. I NTRODUCTION We need robots to be useful over large spa

Source URL: europa2.informatik.uni-freiburg.de

• Motion planning
• Theoretical computer science
• Simultaneous localization and mapping
• Envelope
• Academia

PDF Document

Source URL: social.cs.uiuc.edu

• Theoretical computer science
• Learning
• Algorithm
• Mathematical logic
• Academia
• Cognitive science
• Machine learning
• Cognition
• Algorithm characterizations
• Algorithm Selection

Publications - Avinatan Hassidim Journal Publications 1. Monotonicity and Implementability. Itai Ashlagi, Mark Braverman, Avinatan Hassidim and Dov Monderer. Econometrica September 2010, pages 1749–Quantum Sta

Source URL: www2.lns.mit.edu

• Theoretical computer science
• Quantum information science
• Emerging technologies
• Quantum algorithm for linear systems of equations
• Quantum information
• QIP
• Quantum computing
• Symposium on Foundations of Computer Science
• Uman

EXPERIMENTAL ALGORITHMICS APPLIED TO ON-LINE MACHINE LEARNING Thomas Bartz-Beielstein SPOTSeven Lab, TH K¨ oln, Gummersbach, Germany

Source URL: bioma.ijs.si

• Artificial intelligence
• Machine learning
• Learning
• Theoretical computer science
• Ensemble learning
• Cybernetics
• Data mining
• Online machine learning
• Empirical algorithmics
• Boosting
• Algorithm engineering
• Algorithm

Guiding Medical Needles Using Single-Point Tissue Manipulation Meysam Torabi1 , Kris Hauser2 , Ron Alterovitz3 , Vincent Duindam2 , and Ken Goldberg4 Abstract— This paper addresses the use of robotic tissue manipulatio

Source URL: goldberg.berkeley.edu

• Medical physics
• Radiation therapy
• Biopsy
• Breast surgery
• Motion planning
• Theoretical computer science
• Brachytherapy
• Prostate cancer
• Prostate
• Fine-needle aspiration